Distributive lattices having $n$-permutable congruences
نویسندگان
چکیده
منابع مشابه
Distributive Congruence Lattices of Congruence-permutable Algebras
We prove that every distributive algebraic lattice with at most א1 compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice of some right module. The א1 bound is optimal, as we find a distributive algebraic lattice D with א2 compact elements that is not isomorphic to the congruence lattice of any algebra with almost permutable congruences (hence n...
متن کاملOn Ideals and Congruences of Generalized Almost Distributive Lattices
Necessary and sufficient conditions for a GADL to become an ADL are obtained interms of congruence relations and proved that every associative GADL is an ADL.
متن کاملPrincipal and Syntactic Congruences in Congruence-distributive and Congruence-permutable Varieties
We give a new proof that a finitely generated congruence-distributive variety has finitely determined syntactic congruences (or equivalently, term finite principal congruences), and show that the same does not hold for finitely generated congruence-permutable varieties, even under the additional assumption that the variety is residually very finite. 2000 Mathematics subject classification: 08B10.
متن کاملRadical Classes of Distributive Lattices Having the Least Element
Let D be the system of all distributive lattices and let D0 be the system of all L ∈ D such that L possesses the least element. Further, let D1 be the system of all infinitely distributive lattices belonging to D0. In the present paper we investigate the radical classes of the systems D, D0 and D1.
متن کاملThe variety of lambda abstraction algebras does not admit n-permutable congruences for all n
In this section we summarize deenitions and results concerning the lambda calculus and the theory of lambda abstraction algebras. Our main references will be 10] and 11] for lambda abstraction algebras and Barendregt's book 1] for lambda calculus. Lambda calculus. The untyped lambda calculus was introduced by Church as a foundation for logic. Although the appearance of paradoxes caused the prog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1991
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1991-1057741-x